Lecture 7.2 - Recursive State Estimation: Bayes Filter